| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 420645 | ||
| Übung | 419071 | Mo 13:00-15:00 TEMP2 (1515|002) (×1) Mo 18:30-20:00 Online-Veranstaltung (×14) Di 11:00-13:00 TEMP1 (1515|001) (×1) | |||
| Vorlesung | 419595 | Di 08:30-10:00 Online-Veranstaltung (×13) Mi 08:30-10:00 Online-Veranstaltung (×13) | |||
| Functional Programming | Fach-/Modulprüfung | 6 | 421971 | ||
| Übung | 424975 | Mo 10:30-12:00 Online-Veranstaltung (×12) | |||
| Vorlesung | 424976 | Mo 10:30-12:00 Online-Veranstaltung (×1) Mo 16:30-18:00 Online-Veranstaltung (×13) Di 10:30-12:00 Online-Veranstaltung (×13) | |||
| Logic Programming | Fach-/Modulprüfung | 6 | 421419 | ||
| Modeling and analysis of hybrid systems | Fach-/Modulprüfung | 6 | 422632 | ||
| Vorlesung/Übung | 418239 | Mo 12:30-14:00 Online-Veranstaltung (×13) Fr 10:30-12:00 Online-Veranstaltung (×13) |